properties of proportion